/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#4=NGB25/FONT#5=STA200
␈↓ ↓H␈↓␈↓¬S␈↓∧ Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305


␈↓ ↓H␈↓∧Telephone 415-497-1391␈↓ 	zAugust 31, 1975
␈↓ ↓H␈↓∧or  415-497-4971



␈↓ ↓H␈↓Dr. Adrian Walker
␈↓ ↓H␈↓Department of Computer Science
␈↓ ↓H␈↓Rutgers University
␈↓ ↓H␈↓New Brunswick, N. J. 08903


␈↓ ↓H␈↓Dear Dr. Walker,


␈↓ ↓H␈↓Thank␈α∞you␈α∞for␈α∂your␈α∞request␈α∞for␈α∞a␈α∂copy␈α∞of␈α∞my␈α∞recent␈α∂paper,␈α∞␈↓↓Synthesis␈α∞of␈α∞Large␈α∂Programs␈α∞from

␈↓ ↓H␈↓↓Speci≡c␈α
Dialogues␈↓.␈αIn␈α
addition␈αto␈α
this␈αSPIP␈α
paper,␈αI␈α
am␈αenclosing␈α
a␈αcopy␈α
of␈αa␈α
related␈αpaper␈α
which

␈↓ ↓H␈↓I am presenting next week at the 4th IJCAI in Tbilisi, USSR.


␈↓ ↓H␈↓The␈αproject␈αI␈αam␈αnow␈αworking␈αon␈α(the␈αAutomated␈αMathematician␈αsystem),␈αis␈αan␈αattempt␈αto␈αapply

␈↓ ↓H␈↓BEINGs␈αto␈αthe␈αproblem␈αof␈αhow␈αto␈αdo␈α"␈↓↓interesting␈↓"␈αresearch.␈α If␈αthat␈αidea␈αcatches␈αyour␈α
interest,␈αa

␈↓ ↓H␈↓more lengthy copy of my dissertation proposal is available.


␈↓ ↓H␈↓Let␈αme␈αpersonally␈αinvite␈αyou,␈αif␈αyou␈αhappen␈αto␈αbe␈αnear␈αStanford␈αthis␈αcoming␈αyear,␈αto␈αcome␈αto␈αthe

␈↓ ↓H␈↓Ariti≡cial Intelligence Lab -- for a seminar, discussion, or just a tour.



␈↓ ↓H␈↓␈↓ εSincerely,






␈↓ ↓H␈↓␈↓ ¬WDouglas B. Lenat